
#include "StronglyConnectedComponentsGraph.h"
#include "testTarjan.h"
#include "Test2SAT.h"
#include "2SAT.h"
#include <vector>
#include <utility>
#include <iostream>
#include <Windows.h>

int main(){
	try{
		stress2SatGraph();
		stressCheckSolvableSolution();
		stressCheckUnsolvableSolution();
		stressRandomShuffleTests();
		stressAllSmallGraphs();
		stressRandomTarjanCheck();
		system("PAUSE");
		return 0;
	}
	catch(const std::exception& ex){
		std::cerr << ex.what() << std::endl;
		system("PAUSE");
		return -1;
	}
	return 0;
}
